//
//  typsig.cpp
//  ltlbmc
//
//  Created by GD Huang on 8/24/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#include <iostream>
#include "typsig.h"

namespace cilast {
    int typsig::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int TSArray::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int TSPtr::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int TSComp::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int TSFun::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int TSEnum::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int TSBase::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
}